Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
981	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
982	Real time financial sentiment indicators Pt. 2 The main question of the study is "Can Bullish-Bearish sentiment be used in actionable trading model?" As a first step in finding the answer for that question we will try to Add to Reading List Source URL: dl.psychsignal.com Language: English - Date: 2015-06-06 10:14:52 Regression analysis Machine learning Mathematical finance VIX Cross-validation Feature selection Linear regression Market sentiment Economic model Statistics Model selection Econometrics
983	Contributor Index Ambartsoumian, Gaik, 116 Arbogast, Todd, 9 Baez, John, 93 Basor, Estelle, 23, 154, 157, 179, 185 Add to Reading List Source URL: www.siam.org Language: English - Date: 2015-03-31 09:27:25 Partial differential equations Equations Computational science Wave mechanics Differential equation Nonlinear Schrödinger equation Global climate model Parasitic worm Nonlinear system Calculus Mathematical analysis Physics
984	Academic Prejudice and the Spirit of Humbleness Edmund Harriss January 2011 Appeared in: M Cockell, J Billotte, F Darbellay, and F Waldvogel, editors, Add to Reading List Source URL: www.mathematicians.org.uk Language: English - Date: 2011-09-10 15:25:02 Ethology Philosophy of mathematics Science studies Mathematics The Unreasonable Effectiveness of Mathematics in the Natural Sciences Mathematical model Scientific theory Scientific method Epistemology Science Philosophy of science Knowledge
985	NBER WORKING PAPER SERIES ECONOMIC IMPERIALISM Edward P. Lazear Working Paper 7300 http://www.nber.org/papers/w7300 Add to Reading List Source URL: www.nber.org Language: English - Date: 2004-06-18 11:01:42 Mathematical economics Economic imperialism Edward Lazear Welfare economics Economic model Heterodox economics Neoclassical economics Economics Economic theories Economic methodology
986	The Iris Biometric Feature Segmentation using Finite Element Method. Leonardo Journal of Sciences 2015;26:1-16. Add to Reading List Source URL: ljs.academicdirect.org Language: English - Date: 2015-04-16 15:03:40 Trigonometry Multivariable calculus Polar coordinate system Calculus of variations Trigonometric functions Active contour model Differential of a function Partial differential equation Mathematical analysis Calculus Mathematics
987	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
988	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics
989	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
990	Internet Appendix for “A Unified Theory of Tobin’s q, Corporate Investment, Financing, and Risk Management”∗ Patrick Bolton† Hui Chen‡ Add to Reading List Source URL: www.mit.edu Language: English - Date: 2011-02-08 12:57:14 Finance Macroeconomics Fundamental analysis Capital Cost of capital Beta Capital asset pricing model Investment Financial accelerator Mathematical finance Financial economics Economics

UPDATE